🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Automating Boundary Filling in Cubical Type Theories
arxiv.org·2d
🔶Cubical Type Theory
How the Lean language brings math to coding and coding to math
amazon.science·13h·
Discuss: Hacker News
🔬Lean
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·4d
🔗Functional Compilers
Why Computer Science Is No Good, Redux
cacm.acm.org·14h
🎯Performance Proofs
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Challenges of Pseudocode Expansion
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🔗Lisp
Pragmatism in Programming Proverbs
gingerbill.org·23h·
Discuss: Lobsters, Hacker News, r/programming
💻Programming languages
On This Day in Math - August 6
pballew.blogspot.com·3h·
Discuss: www.blogger.com
📐Mathematical Art
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·18h·
Discuss: www.blogger.com
🌳Persistent Data Structures
Extensions and Shadows (9)
sites.psu.edu·1d
✨Effect Handlers
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·4h
📏Linear Logic
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·12h
🔬Refinement Types
Linear Types for Programmers
twey.io·3d·
Discuss: Hacker News
🔒Linear Types
Issue 483
haskellweekly.news·5d
🔗Functional Compilers
Rod Burstall: In Memoriam
arxiv.org·14h·
Discuss: Lobsters
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Arenas in Rust
russellw.github.io·6h·
Discuss: Hacker News
🦀Rust Borrowing
Building a Real Estate Tokenization dApp with Flare's Zero-Fee Oracles
dev.to·1d·
Discuss: DEV
🚚Data Migration